proximity operation - German English Dictionary